<html>
<head><meta charset="utf-8"><title>polonius-mir-dump-notes · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html">polonius-mir-dump-notes</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="127217432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217432">(May 28 2018 at 18:56)</a>:</h4>
<p>hey <span class="user-mention" data-user-id="116009">@nikomatsakis</span> what does <a href="https://github.com/nikomatsakis/rust/commit/5656960ea0b62624341a10c175ab9d154a5fe94c#diff-cce7509357d5dcbb2c3bd87102f77005R261" target="_blank" title="https://github.com/nikomatsakis/rust/commit/5656960ea0b62624341a10c175ab9d154a5fe94c#diff-cce7509357d5dcbb2c3bd87102f77005R261">this</a> <code>ALIGN = ALIGN</code> sentence actually means?</p>



<a name="127217454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217454">(May 28 2018 at 18:57)</a>:</h4>
<p>I've never seen this "assignment on positional parameter" before :P</p>



<a name="127217512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217512">(May 28 2018 at 18:59)</a>:</h4>
<p>is this from a <code>println!</code> or <code>format!</code> or something?</p>



<a name="127217515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217515">(May 28 2018 at 18:59)</a>:</h4>
<p>oh I remember</p>



<a name="127217516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217516">(May 28 2018 at 18:59)</a>:</h4>
<p>that gives the value for a named format parameter</p>



<a name="127217517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217517">(May 28 2018 at 18:59)</a>:</h4>
<p>e.g., <code>format!("{ALIGN}", ALIGN = 22)</code> would return <code>"22"</code></p>



<a name="127217519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217519">(May 28 2018 at 18:59)</a>:</h4>
<p>in this case, the value is the constant <code>ALIGN</code></p>



<a name="127217545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217545">(May 28 2018 at 19:00)</a>:</h4>
<p>I think this is doing padding</p>



<a name="127217561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217561">(May 28 2018 at 19:00)</a>:</h4>
<p>iirc</p>



<a name="127217567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217567">(May 28 2018 at 19:00)</a>:</h4>
<p>e.g., pad to <code>ALIGN</code> characters</p>



<a name="127217654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217654">(May 28 2018 at 19:03)</a>:</h4>
<p>/me -&gt; afk</p>



<a name="127217693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217693">(May 28 2018 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116013">@qmx</span> <a href="https://doc.rust-lang.org/std/fmt/index.html" target="_blank" title="https://doc.rust-lang.org/std/fmt/index.html">see also the <code>fmt</code> docs</a></p>



<a name="127217704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217704">(May 28 2018 at 19:05)</a>:</h4>
<p>I've got that part, what I never seen before was the assign in parameter position :)<br>
TIL</p>



<a name="127217708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217708">(May 28 2018 at 19:06)</a>:</h4>
<p>the more you know <span class="emoji emoji-1f308" title="rainbow">:rainbow:</span></p>



<a name="127217807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217807">(May 28 2018 at 19:09)</a>:</h4>
<p>doesn't this happen because it's a macro?</p>



<a name="127217811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217811">(May 28 2018 at 19:09)</a>:</h4>
<p>happened to me before that I was surprised by Rust syntax until I saw it was inside of a macro</p>



<a name="127217812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217812">(May 28 2018 at 19:09)</a>:</h4>
<p>yep, I was so used to call it that I completely forgot about this very "duh it's a macro" fact</p>



<a name="127217828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217828">(May 28 2018 at 19:10)</a>:</h4>
<p>:)</p>



<a name="127217864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127217864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127217864">(May 28 2018 at 19:10)</a>:</h4>
<p>:)</p>



<a name="127219794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127219794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127219794">(May 28 2018 at 20:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116013">@qmx</span> JFYI: There are some guys working on Graphviz visualisation for Polonius (issue #12), which you may want to integrate into the mir dump.</p>



<a name="127219800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes/near/127219800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-mir-dump-notes.html#127219800">(May 28 2018 at 20:13)</a>:</h4>
<p>schweet!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>